An implementation of multi-level modelling in F-logic

Multi-level modelling is currently regaining attention in the database and software engineering community with different emerging proposals and implementations. One driver behind this trend is to reduce model complexity, a crucial aspect in a time of big data research in which more and more data from different sources are required to be integrated. From our experience, multi-level modelling also improves understanding of complex specifications, simplify their management and evolution, and facilitate interoperability between them. This paper focuses on the requirement of reasoning for interoperability. Although there exist formalisation approaches for multi-level modelling, only few have the implementation for three fundamental aspects: formalisation, querying and validation of multi-level models. We propose an F-Logic framework to implement these aspects. In addition, we believe this approach is more likely to be adapted in real-world use cases because of its simple objectoriented declarative nature.